Functional Pearl: Control to Correct A recipe for robustness
نویسندگان
چکیده
Making a program robust is often a recipe for making it ugly: the core logic becomes hopelessly entwined with error handling, and quickly dwarfed by it. The concerns are hard to separate, since error checking may depend on earlier bits of core logic, and the core logic may assume error-free input. In this pearl we show, through two distinct but related examples, how to wield first-class control to interleave error checking and correction functionality without interleaving its code.
منابع مشابه
On Radon's recipe for choosing correct sites for multivariate polynomial interpolation
A class of sets correct for multivariate polynomial interpolation is defined and verified, and shown to coincide with the collection of all correct sets constructible by the recursive application of Radon’s recipe, and a recent concrete recipe for correct sets is shown to produce elements in that class.
متن کاملAutomated Generation of Plant-Speci c Recipes in Batch Control
A batch process involves a sequence of operations that are carried out on a discrete quantity of material within a piece of operating equipment. These batch processes form an interesting class of control applications since they reveal a highly hybrid behavior. Their control is mostly discrete in order to achieve transitions between certain behavior types (so called phases or control locations),...
متن کاملOccurrence and Exposure Assessment of Aflatoxin B1 and Ochratoxin A in Pearl Millet (Pennisetum glaucum L.) from Tunisia
Background: Ochratoxin A (OTA) and Aflatoxin B1 (AFB1) are toxic secondary metabolites produced by certain mold species. In this primarily survey, we examined the OTA and AFB1 contamination of pearl millet grains distributed in Tunisia. Methods: Twenty-five pearl millet (Pennisetum glaucum L.) samples from different regions of Tunisia were analyzed by High Performance Liquid Chromatography co...
متن کاملارائه یک روش نوین جهت تعیین قوت واترمارک با استفاده از الگوریتم رقابت استعماری
Watermarking systems have specific feathers in accordance with their applications. In many applications transparency and robustness are needed which are the most important features. These two features are in contrast to each other and are controlled by a parameter named watermark strength. With decreasing the watermark strength, transparency of the watermarking system increases while the robust...
متن کامل